JUMBL: A Tool for Model-Based Statistical Testing
نویسنده
چکیده
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage model is developed and analyzed to validate its fitness for use in testing. The model may then be used to generate test cases representing expected usage, and to reason about system reliability given the performance on the set of tests. The J Usage Model Builder Library (JUMBL) is a Java class library and set of command-line tools for working with usage models. The JUMBL supports construction and analysis of models, generation of test cases, automated execution of tests, and analysis of testing results.
منابع مشابه
How to Use XML Descriptions for Generating Markov Chain Usage Models
In this report, we give an overview how to use XML based techniques in order to derive language independent Markov Chain Usage Models [1] given any popular FDT (Formal Description Techniques), such as MSC (Message Sequence Charts, ITU-T standard Z.120) and UML/SD (Unified Modeling Language/Sequence Diagram, OMG Standard). In particular, we demonstrate and discuss the tool chain JUMBL (J Usage M...
متن کاملModel-Based Statistical Testing of a Cluster Utility
As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate quantitative certification testing, Model-Based Statistical Testing (MBST) was applied to cexec, a cluster control utility developed in the Network and Cluster Computing Group of Oak Ridge National Laboratory. MBST involves gene...
متن کاملInterval Estimation for the Exponential Distribution under Progressive Type-II Censored Step-Stress Accelerated Life-Testing Model Based on Fisher Information
This paper, determines the confidence interval using the Fisher information under progressive type-II censoring for the k-step exponential step-stress accelerated life testing. We study the performance of these confidence intervals. Finally an example is given to illustrate the proposed procedures.
متن کاملTCG - A Model-based Testing Tool for Functional and Statistical Testing
Model-based testing (MBT) is an approach that takes software specification as the base for the formal model creation and, from it, enables the test case extraction. Depending on the type of model, an MBT tool can support functional and statistical tests. However, there are few tools that support both testing techniques. Moreover, the ones that support them offer a limited number of coverage cri...
متن کاملTESTING STATISTICAL HYPOTHESES UNDER FUZZY DATA AND BASED ON A NEW SIGNED DISTANCE
This paper deals with the problem of testing statisticalhypotheses when the available data are fuzzy. In this approach, wefirst obtain a fuzzy test statistic based on fuzzy data, and then,based on a new signed distance between fuzzy numbers, we introducea new decision rule to accept/reject the hypothesis of interest.The proposed approach is investigated for two cases: the casewithout nuisance p...
متن کامل